From composable design models to schedulability analysis with UML and the UML profile for MARTE
نویسندگان
چکیده
منابع مشابه
Experiencing the UML profile for MARTE in the generation of schedulability analysis models for MAST
This short paper presents the design, implementation, and initial results of a tool that extracts from UML models the schedulability analysis data that are necessary for the application of the MAST set of tools on them. The input analysis models represent concurrent, distributed real-time systems that are formalized in UML annotated with the extensions proposed by the UML Profile for MARTE; the...
متن کاملUsing the UML Profile for MARTE to MPSoC Co-Design
The increasing amount of hardware resources in next generation MultiProcessor Systems-on-Chip (MPSoC) calls for efficient design methodologies and tools to reduce their development complexity. This paper presents a candidate MPSoC design environment Gaspard2, which uses the MARTE (Modeling and Analysis of Real-Time and Embedded systems) standard profile for high-level system specification. Gasp...
متن کاملThe UML – MARTE Standardized Profile
The UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (also called the UML profile for MARTE, or simply, MARTE) adds capabilities to UML for model-driven development of real-time and embedded systems (RTES). It provides support for specification, design, and verification/validation stages. This new profile replaces the existing UML Profile for Schedulability, Performance a...
متن کاملMapping the MARTE UML profile to AADL
CAT, the Consumption Analysis Toolbox, used with an AADL editor like OSATE allows for system-level power and energy consumption estimation. For MARTE users, such a tool is very valuable. This is why building a bridge from MARTE to AADL was essential. Transforming models is the solution that was adopted. This is why a MARTE to AADL mapping was needed. In this paper, we will present our mapping t...
متن کاملIntegrating Real-Time UML Models with Schedulability Analysis
The integration of schedulability analysis with the industry standard Unified Modeling Language (UML) allows real-time developers to detect, at an early stage of development, unfeasible (unschedulable) real-time architectures. It, thus, prevents costly design mistakes and accelerates development schedules. This integration, accomplished through the timing extensions of UML, also allows the deve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGBED Review
سال: 2011
ISSN: 1551-3688,1551-3688
DOI: 10.1145/1967021.1967030